% Facts
parent(vanessa,susan).
parent(patricia.john).
parent(andrew,joanne).
parent(jill,joanne).
parent(john,michelle).
parent(john,michael).
parent(joanne,steve).
female(tinal).
female(sally).
female(tinal).
male(thomas).
male(susan).
male(patrick).
male(john).
male(steve).
mother(tina, william).
% Rule

mather(tina, william):-
    parent(tina, william),
    female(tina).

mather(tina, sally):-
    parent(tina,sally),
    female(tina).



# 进入目录编译 [family_tree]
# parent(vanessa,susan).
# parent(patricia.john).